Signed-off-by: Ian Campbell <ian.campbell@xensource.com>
#include <xen/types.h>
#include <xen/errno.h>
#include <xen/init.h>
+#include <xen/nmi.h>
#include <public/xen.h>
-#include <asm/nmi.h>
#include <asm/msr.h>
#include <asm/apic.h>
#include <asm/regs.h>
#include <xen/domain_page.h>
#include <xen/symbols.h>
#include <xen/iocap.h>
+#include <xen/nmi.h>
#include <asm/shadow.h>
#include <asm/system.h>
#include <asm/io.h>
#include <asm/debugger.h>
#include <asm/msr.h>
#include <asm/x86_emulate.h>
-#include <asm/nmi.h>
/*
* opt_nmi: one of 'ignore', 'dom0', or 'fatal'.
--- /dev/null
+/******************************************************************************
+ * nmi.h
+ *
+ * Register and unregister NMI callbacks.
+ *
+ * Copyright (c) 2006, Ian Campbell <ian.campbell@xensource.com>
+ */
+
+#ifndef __XEN_NMI_H__
+#define __XEN_NMI_H__
+
+#include <asm/nmi.h>
+
+#endif /* __XEN_NMI_H__ */